(A large empty swimming pool)